A Quantum Game Semantics for the Measurement Calculus
نویسنده
چکیده
In this paper we present a game semantics for a quantum programming language based on a new definition of quantum strategies. The language studied is MCdata, a typed version of the measurement calculus recently introduced by Danos et. al. We give a soundness and adequacy result based on our quantum game semantics. The main contribution is not the semantics of MCdata but rather the development of ideas suitable for a game theoretic treatment of quantum computation in general.
منابع مشابه
Game Semantics for Quantum Stores
This paper presents a game semantics for a simply-typed λ-calculus equipped with quantum stores. The quantum stores are equipped with quantum operations as commands which give the language enough expressiveness to encode any quantum circuits. The language uses a notion of extended variable, similar to that seen in functional languages with pattern matching, but adapted to the needs of dealing w...
متن کاملGame Semantics for Quantum Data
This paper presents a game semantics for a simply-typed λ-calculus with qbits constants and associated quantum operations. The resulting language is expressive enough to encode any quantum circuit. The language uses a notion of extended variable, similar to that seen in functional languages with pattern matching, but adapted to the needs of dealing with tensor products. The game semantics is co...
متن کاملTowards a quantum calculus
The aim of this paper is to introduce a general model of quantum computation, the quantum calculus: both unitary transformations and projective measurements are allowed; furthermore a complete classical control, including conditional structures and loops, is available. Complementary to its operational semantics, we introduce a pure denotational semantics for the quantum calculus. Based on proba...
متن کاملاثر درهم‌تنیدگی و چهارچوب نالخت در بازی کوانتومی چهارکیوبیتی
The effect of increasing quantum bits and Unruh effect on quantum Prisoners’ dilemma has been investigated for both entangled and unentangled initial states. The Nash equilibrium, as an important result of quantum game theory, was obtained through the different payoffs resulted from choosing various strategies. It has been shown that the non-inertial frame disturbs the symmetry of the game. Act...
متن کاملOn a measurement-free quantum lambda calculus with classical control
We study a measurement-free, untyped λ-calculus with quantum data and classical control. This work arises from previous proposals by Selinger and Valiron, and Van Tonder. We focus on operational and expressiveness issues, rather than (denotational) semantics. We prove subject reduction and confluence, and a standardisation theorem. Moreover, we prove the computational equivalence of the propose...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
- Electr. Notes Theor. Comput. Sci.
دوره 210 شماره
صفحات -
تاریخ انتشار 2008